Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Tesis	Uso de escenarios en la derivación de software:	Hadad, Graciela Dora Susana	(2008)	Sala	----------
Tesis	Uso de patrones en el proceso de construcción de escenarios:	Ridao, Marcela N.	(2001)	Sala	----------
Libro	Verifying concurrent processes using temporal logic:	Hailpern, Brent T.	1a ed.   (1982)	Domicilio	----------
Tesis	Visión de proceso para estrategias integradas de medición y evaluación de la calidad:	Becker, Pablo	(2014)	Sala	----------
Artículo	Web engineering : a quantitative methodology for quality evaluation and comparison of web applications	Olsina Santos, Luis Antonio	(2000)		----------
Libro	xUnit test patterns: refactoring test code	Meszaros, Gerard	(c2007)	Domicilio	----------